A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
نویسندگان
چکیده
We introduce a reversible process calculus with a new feature of execution control that allows us to change the direction and pattern of computation. This feature allows us to model a variety of modes of reverse computation, ranging from strict backtracking to reversing which respects causal ordering of events, and even reversing which violates causal ordering. The SOS rules that define the operators of the new calculus employ communication keys to handle communication correctly and key identifiers to control execution. As an application of our calculus, we model the ERK signalling pathway which delivers mitogenic and differentiation signals from the membrane of a cell to its nucleus. The proteins participating in the pathway are represented by reversible processes in such a way that the pathway’s bio-chemical reactions are simply interactions between the processes.
منابع مشابه
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA
This paper examines the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway [5] through modelling in a Markovian process algebra, PEPA [11]. Two models of the system are presented, a reagentcentric view and a pathway-centric view. The models capture functionality at the level of subpathway, rather than at a molecular level. ...
متن کاملI-7: Maternal Signalling to the Placenta
Background: Though it is well established that maternal blood-borne signals influence highly the growth of the placenta, the mechanisms are not known. In vitro trophoblast culture models are limited by an inability to reconstruct the polarised bilayer of the human hemochorial placenta. We have used a first trimester villous tissue explant system to investigate how growth factors interact with p...
متن کاملAll-trans Retinoic Acid Regulates the Balance of Treg-Th17 Cells through ERK and P38 Signaling Pathway
متن کامل
I-34: Steroid Hormone Signalling at the FetomaternalInterface
Background: Progesterone is indispensable for differentiation of human endometrial stromal cells (HESCs) into decidual cells, a process that critically controls embryo implantation. However, HESCs also abundantly express androgen receptors (AR), yet the role of this member of the superfamily of ligand-dependent transcription factors in the decidual process remains poorly elucidated. Materials a...
متن کاملReelin Signalling Pathway and Mesial Temporal Lobe Epilepsy: A Causative Link?
Mesial temporal lobe epilepsy (MTLE) is the most frequent form of partial epilepsy. Granule cell dispersion, resulting from aberrant neuronal migration in the hippocampus, is pathognomonic of MTLE. Reelin, a secreted neurodevelopmental glycoprotein has a crucial role in controlling the radial migration of neurons. Several animal studies have implicated Reelin in the MTLE pathogenesis. The aim o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012